Automated Geometry Theorem Proving

英文缩写：AGTP

英文全称：Automated Geometry Theorem Proving

中文释义：几何定理自动证明

中文拼音：jǐ hé dìng lǐ zì dòng zhèng míng

所属分类：Academic & Science

上一个：Non Adiabatic Coupling Matrix Elements 下一个：Severe Storms Research Center

栏目分类

英语单词英文缩写

常用缩写

WCKX 缩写 WCGB 缩写 WEGP 缩写 WNNB 缩写 WBVX 缩写 LUCKY 缩写 KDD 缩写 WBLL 缩写 WBRF 缩写 WBJD 缩写 WBLF 缩写 RILO 缩写 WDYR 缩写